http://demosondemand.com/dod/indorgs/accellera.aspx

Harry Foster, Chair of Accellera's Formal Verification Technical Committee, uses the whiteboard to explain how the Property Specification Language (PSL) enables you to unambiguously specify and verify a design. Harry covers the motivation behind learning PSL, its characteristics, structure, temporal logic, clocking, operators, and expressions using many written property examples including a complex ARM AHB interface.